منابع مشابه
TECHNICAL REPORT 95-1 On Implicit Arguments
A typechecker for a typed -calculus having implicit arguments is presented. The typechecker works in such a way that the uniqueness of implicit arguments is always preserved during reduction. Consequently, when it compares two terms by reduction, it can reduce them without inferring implicit arguments. Before describing the typechecker, we analyze various situations where the uniqueness of impl...
متن کاملV&V of ISHM Software for Space Exploration
NASA has established a far-reaching and long-term program for robotic and manned exploration of the solar system, beginning with missions to the moon and Mars. Integrated System Health Management (ISHM) will be key to improving the reliability, operability and maintainability of many of the systems deployed in this endeavor. The requirements of the ISHM systems themselves will be subject to req...
متن کاملA Review of Diagnostic Techniques for ISHM Applications
System diagnosis is an integral part of any Integrated System Health Management application. Diagnostic applications make use of system information from the design phase, such as safety and mission assurance analysis, failure modes and effects analysis, hazards analysis, functional models, fault propagation models, and testability analysis. In modern process control and equipment monitoring sys...
متن کاملA multimedia tutorial for user interface design Report 95 - 35
A selection of these reports is available in PostScript form at the Faculty's anonymous ftp-Introduction Both teaching and learning user interface (UI) design is difficult, especially because it is a discipline that has grown by trial-and-error, rather than by theory; there is little theory available on the design of user interfaces. Moreover, UI design theory encompasses both a wide range of a...
متن کاملTECHNICAL REPORT 95-02 Controlling Priority Inversion using Abortions
Making critical sections abortable is a promising approach to controlling priority inversions. To improve the schedulability of a system using abortions, the maximum number of abortions should be decreased. In this paper, we propose a real-time synchronization protocol named the selective abort protocol (SAP) which introduces a new abort scheme to the priority ceiling protocol. Our proposed sch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of SHM
سال: 1996
ISSN: 1884-1198,0919-4398
DOI: 10.5104/jiep1993.12.45